Fault Tolerance by Transparent Replication for Distributed Ada 95

This paper presents the foundations of RAPIDS (“Replicated Ada Partitions In Distributed Systems”), an implementation of the Distributed Systems Annex E incorporating the transparent replication of partitions in distributed Ada 95 applications. RAPIDS is a replication manager for semi–active replication based on a piecewise deterministic computation model. It guarantees replica consistency for arbitrary Ada 95 partitions despite the inherent non–determinism of multitasking, offering k–resilient partitions. The RAPIDS prototype is implemented for the GNAT compiler and evolved from its PCS, Garlic.